<html><body>
 This section explains which classes and methods are available in GWT.  Check this list to make sure you're using stuff that can be translated.
 @id jre
 @title  JRE Emulation Library
</body></html>
